Brâncuși-Gerota “Écorché” – 120th anniversary since its completion

Ercole Lelli and His Écorché *

Journal of Biology celebrates its fifth anniversary

Five years ago this month, Journal of Biology was launched under the guidance of Editor-in-Chief Martin Raff and Editor Theodora Bloom as the premier biology journal of the open access publisher BioMed Central, the publisher of Genome Biology and the BMC series of journals. As we celebrate Journal of Biology’s birthday, we take this opportunity to reflect on the first five years during which th...

PRS Korea 2016 in Its 50th Anniversary

393 Editorial It is our great honor and pleasure to cordially invite and welcome you to PRS Korea 2016, the 74th conference of the Korean Society of Plastic and Reconstructive Surgeons (KSPRS). This year is especially meaningful because the conference is being held in commemoration of the 50th anniversary of the founding of the society [1], and presented jointly with the conference of the Korea...

BMC Medicine celebrates its 5th anniversary

In November 2008, BMC Medicine passed the landmark of its first 5 years of publishing. When we launched the journal with the aim of publishing high quality research of general interest and special importance, we had no idea what the future would bring. To mark the occasion of our 5th anniversary, we consider the achievements of the last 5 years and discuss our plans for the future. Editorial BM...

2 Completion and Its Applications

The ability to reason with equations is important in many computer science applications, including algebraic specifications, highlevel programming languages, and automated deduction. Reasoning about equations may, for example, involve deciding if an equation "'follows" as a consequence of a given set of equations, or if an equation is "true" in a given model, or what values of the variables sat...